Merge branch 'ebassi/for-master' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Tue, 15 Dec 2020 16:54:59 +0000 (16:54 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Tue, 15 Dec 2020 16:54:59 +0000 (16:54 +0000)
Clean up the build system

See merge request GNOME/gtk!2955


Trivial merge